\begin{thebibliography}{2}
\providecommand{\natexlab}[1]{#1}
\expandafter\ifx\csname urlstyle\endcsname\relax
  \providecommand{\doi}[1]{doi:\discretionary{}{}{}#1}\else
  \providecommand{\doi}{doi:\discretionary{}{}{}\begingroup
  \urlstyle{rm}\Url}\fi

\bibitem[{Chajda et~al.(2001)Chajda, Halas, and
  L{\"a}nger}]{chajda2001orthomodular}
\textbf{Chajda, I.}, \textbf{Halas, R.}, and \textbf{L{\"a}nger, H.}, 2001,
  Orthomodular implication algebras, \emph{International Journal of Theoretical
  Physics}, 40(11), 1875--1884.

\bibitem[{Roman(2008)}]{roman2008lattices}
\textbf{Roman, S.}, 2008, \emph{Lattices and ordered sets}, Springer Science \&
  Business Media.

\end{thebibliography}
